Experience Report: The Next 600 Haskell Programmers
نویسندگان
چکیده
We report on our experience teaching a Haskell-based functional programming course to over 600 students. The syllabus was organized around selected material from various sources. Throughout the term, we emphasized correctness through QuickCheck tests and proofs by induction. The submission architecture was coupled with automatic testing, giving students the possibility to correct mistakes before the deadline. To motivate the students, we complemented the weekly assignments with an informal competition.
منابع مشابه
Mathematics Is Imprecise
We commonly think of mathematics as bringing precision to application domains, but its relationship with computer science is more complex. This experience report on the use of Racket and Haskell to teach a required first university CS course to students with very good mathematical skills focusses on the ways that programming forces one to get the details right, with consequent benefits in the m...
متن کاملHaskell for OCaml programmers
This introduction to Haskell is written to optimize learning by programmers who already know OCaml.
متن کاملType classes: an exploration of the design space
When type classes were rst introduced in Haskell they were regarded as a fairly experimental language feature, and therefore warranted a fairly conservative design. Since that time, practical experience has convinced many programmers of the bene ts and convenience of type classes. However, on occasion, these same programmers have discovered examples where seemingly natural applications for type...
متن کاملExperience report: Haskell and mathematics
This report describes experiences with doing mathematics using Haskell in the fields of algebra and signal processing. It discusses advantages of several Haskell features and problems e.g. with respect to type classes and implicit contexts, that arise in mathematical applications. We also propose solutions including references to the Numeric Prelude project.
متن کاملCondorCKD – Implementing an Algebraic Knowledge Discovery System in a Functional Programming Language
We introduce CondorCKD, an implementation of a novel data mining algorithm using the lazy functional programming language Haskell. While functional programming languages are often considered to be applicable to “toy problems” only, we try to give prove that these languages can of course be used to tackle demanding real-world programming tasks, and that programmers can benefit from the advantage...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013